Tweak previous info.el change
authorGlenn Morris <rgm@gnu.org>
Fri, 10 Jan 2014 07:26:04 +0000 (23:26 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 10 Jan 2014 07:26:04 +0000 (23:26 -0800)
commitb1fef1530d590a48694102eb8ac49ba6ef6a40af
tree08d8683235a8cb9936951a476b2060a1ab1a777d
parente9dd23c1ff593758c8a0e204739f15a8b0a0d561
Tweak previous info.el change
lisp/info.el